examples of nfa in automata